VDict mobile



formal parameters not found. Suggestions:

De Bruijn notation
inline
generic programming
FORMAL
thunk
lambda lifting
formal argument
FSL
Formal Description Technique
Language Of Temporal Ordering Specification